221. The formal semantics of programming languages
Author: / Glynn Winskel
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Programming languages (Electronic computers) -- Semantics
Classification :
QA
76
.
7
.
W555
1993
222. The logic of partial information
Author: Nait Abdallah, Areski
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Programming languages )Electronic computers(-- Semantics,، Computer algorithms,، Logic, Symbolic and mathematical
Classification :
QA
76
.
7
.
N35
1995
223. The logic of partial information
Author: Areski Nait Abdallah
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Programming languages )Electronic computers( -- Semantics,، Computer algorithms,، Logic, Symbolic and mathematical
Classification :
QA
76
.
7
.
N3
224. The sementary of programming languages
Author: / Mattew Hennessy,Hennessy
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Programming language (Electronic Computers),Semantic
Classification :
QA
76
.
7
.
H4
1990
225. Theoretical aspects of object-oriented programming : types, semantics, and language design
Author: edited by Carl A. Gunter and John C. Mitchell
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Object-oriented programming )Computer science(,، Programming languages )Electronic computers(
Classification :
QA
76
.
64
.
T4
226. Towards a formal description of Ada
Author: edited by D. Bjorner and O.N. Oest
Library: Central Library and Documentation Center (Kerman)
Subject: ، Ada )Computer program language(,، Programming languages )Electronic computers( - Semantics
Classification :
QA
76
.
L4
v
.
98
227. Towards a formal description of Ada
Author: edited by D. Bjørner and O.N. Oest.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Ada (Computer program language),ADA.,Programming languages (Electronic computers) -- Semantics.
Classification :
QA76
.
73
.
A35
E358
1980
228. Trees in Algebra and Programming - CAAP '96 :
Author: edited by Hélène Kirchner.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming.,Computer science.,Programming languages (Electronic computers)
Classification :
QA166
.
2
E358
1996
229. Truth, deduction, and computation
Author: / R.E. Davis
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Programming languages (Electronic computers)- Semantics,Logic, Symbolic and mathematical,Electronic data processing
Classification :
QA76
.
7
.
D386
1989
230. <An> introduction to natural language processing through prolog
Author: Mattews, Clive
Library: Central Library of Esfehan University of Technology (Esfahan)
Subject: Interactive computer systems►Programming languages (Electronic computers)- Semantics►Natural language processing (Computer science)
Classification :
76
.
9
.
I58
,
M27
